package asem.ast.sentencias;

import asem.ast.expresiones.NodoExpresion;
import asem.tablaSimbolos.tipo.Tipo;
import asem.tablaSimbolos.tipo.TipoBoolean;

public class NodoFor extends NodoSentencia {
	protected NodoAsignacion primeraAsig;
	protected NodoExpresion condicion;
	protected NodoAsignacion segundaAsig;
	protected NodoSentencia sentencia;

	public NodoFor(NodoAsignacion asig, NodoExpresion exp,
			NodoAsignacion asig2, NodoSentencia sent) {
		primeraAsig = asig;
		condicion = exp;
		segundaAsig = asig2;
		sentencia = sent;
	}
	
	public void chequeoSentencias()
	{
		primeraAsig.chequeoSentencias();
		Tipo tipoCondicion = (Tipo) condicion.chequeoSentencias();
		tipoCondicion.compatibilidadDeTipos(TipoBoolean.TIPO);
		segundaAsig.chequeoSentencias();
		sentencia.chequeoSentencias();
	}
}
